Computable function - PDFSEARCH.IO - Document Search Engine

Computable function
Results: 170

#	Item
71	What is an algorithm? Yuri Gurevich Microsoft Research Technical Report MSR-TR[removed], July 2011 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-02-23 13:32:36 Computability theory Applied mathematics Alan Turing Formal methods Models of computation Algorithm Church–Turing thesis Computable function Turing machine Theoretical computer science Computer science Theory of computation
72	4.6. THE PRIMITIVE RECURSIVE FUNCTIONS[removed] Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2011-02-22 14:54:13 Computer science Mathematical logic Primitive recursive function Computable function Computability Model theory Recursion Μ operator Μ-recursive function Computability theory Theory of computation Theoretical computer science
73	Computable representations for convex hulls of low-dimensional quadratic forms Kurt M. Anstreicher and Samuel Burer Dept. of Management Sciences University of Iowa February 6, 2007 Add to Reading List Source URL: www.optimization-online.org Language: English - Date: 2007-02-07 17:22:23 Operations research Convex analysis Real algebraic geometry Convex optimization Quadratically constrained quadratic program Semidefinite programming Quadratic programming Convex function Linear programming Mathematical optimization Mathematics Mathematical analysis
74	The complexity of real recursive functions Manuel Lameiras Campagnolo D.M./I.S.A., Universidade T´ecnica de Lisboa, Tapada da Ajuda, [removed], Lisboa, Portugal; C.L.C./D.M./I.S.T., Universidade T´ecnica de Lisboa, Av. Add to Reading List Source URL: wslc.math.ist.utl.pt Language: English - Date: 2003-02-11 11:10:46 Mathematical logic Theory of computation Recursion Functions and mappings Programming idioms Primitive recursive function ELEMENTARY Computable function Function Theoretical computer science Mathematics Computability theory
75	Learning with a Limited Memory Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 04:26:15 Theoretical computer science Computer science Inductive inference Recursion Computable function Derivative Recursively enumerable set Big O notation Function Mathematics Theory of computation Computability theory
76	On Aggregating Teams of Learning Machines Sanjay Jain Department of Information Systems and Computer Science National University of Singapore Singapore 0511, Republic of Singapore Email: [removed] Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2007-03-10 23:00:58 Logic Computer science Theory of computation Automata theory Models of computation Computable function Computability Formal grammar Model theory Formal languages Theoretical computer science Computability theory
77	arXiv:1311.1029v1 [math.LO] 5 Nov[removed]Problems in number theory from busy beaver competition Pascal MICHEL∗ ´ Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-11-05 20:25:49 Mathematics Models of computation Turing machine Alan Turing Busy beaver Collatz conjecture Computability Computable function Halting problem Computability theory Theoretical computer science Theory of computation
78	Solutions of the Goncharov-Millar and Degree Spectra Problems in The Theory of Computable Models Bakhadyr Khoussainov The University of Auckland New Zealand Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 1999-11-18 16:33:20 Computer science Mathematics Computable function Recursive set Recursively enumerable set Turing reduction Computable isomorphism Low RE Computability theory Theoretical computer science Theory of computation
79	July 2000 Adelaide University • SA 5005 • AUSTRALIA The Australian Wine Industry During a Period of Boom and Tax Changes Add to Reading List Source URL: www.adelaide.edu.au Language: English - Date: 2010-06-08 21:02:11 Ring Pseudo-ring Radial distribution function Computable general equilibrium Structure Physics Algebraic structures Ring theory Mathematics
80	Implementation and Indeterminacy Curtis Brown Department of Philosophy Trinity University One Trinity Place, San Antonio, TX 78212, USA [removed] Add to Reading List Source URL: crpit.com Language: English - Date: 2012-01-19 01:27:36 Computer science Computability theory Turing machine Computability Computable function Algorithm Register machine Abstract machine Finite-state machine Theoretical computer science Theory of computation Models of computation

UPDATE